widget-factory: Remove an unused size group

This was left behind when 361407201b88c3aae2ee removed
the unused popover that this size group applied to.

diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index 86ebe5c81a290f7e8042eb4e20fd148692b0e2b4..8f78b65a5fa360f1a6e1f44ade5515ff14109578 100644 (file)
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -3304,11 +3304,6 @@ bad things might happen.</property>
       </object>
     </child>
   </object>
-  <object class="GtkSizeGroup" id="main-indicators">
-    <widgets>
-      <widget name="cut_copy_paste_filler"/>
-    </widgets>
-  </object>
   <object class="GtkSizeGroup" id="basement-indicators"/>
   <menu id="new_style_menu_model">
     <section>